#include <stdio.h>
#include "lib.h"

int main(){
  int result = add(4,2);	
  printf("The result is:%d \n",result);
  return 0;
}